|
|
| 1 |
|
| ISBN: | 953-222-138-7 |
| Autor: | Davis, Martin |
| Naslov: | Na logički pogon : Podrijetlo ideje računala / Martin Davis |
| Impresum: | Zagreb : Naklada Jesenski i Turk , 2003 |
| Materijalni opisi: | 294 str. : ilustr. ; 22 cm |
| Nakladnička cjelina: | Nakladnička cjelina ; 42 |
| Napomena: | Prijevod djela: Engines of Logic. - Bibliografija str.271-294 |
| Tema: | Computers * mathematical logic |
| Signatura: | 3536 |
| ID: | 840119002 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet elektrotehnike, strojarstva i brodogradnje Split, http://www.fesb.hr/fesb/bib/bibli.htm |
|
| 2 |
|
| ISBN: | 0-486-43228-9 |
| Naslov: | The Undedecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis |
| Impresum: | Mineola, N.Y. : Dover Publications, Inc. , 2004 |
| Materijalni opisi: | 413 str. ; 23 cm |
| Napomena: | Kazalo: str. 407-413. |
| Dodani naslov: | Basic papers on undecidable propositions, unsolvable problems and computable functions |
| Tema: | Matematička logika |
| Lokacija: | Katedra za matematiku |
| ID: | 980924251 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
| 3 |
|
| ISBN: | 0-486-44229-2 |
| Autor: | Davis, Martin |
| Naslov: | Applied nonstandard analysis / Martin Davis |
| Impresum: | Mineola, NY : Dover publications, Inc , 2005 |
| Materijalni opisi: | XII, 186 str. ; 22 cm |
| Nakladnička cjelina: | Dover books on mathematics |
| Napomena: | Bibliografija: str. 178. |
| Tema: | Analiza, nestandardna |
| Lokacija: | Katedra za matematiku |
| ID: | 980914254 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
|
|
|
1
|